Model checking

Results: 996



#Item
361

BRICS Basic Research in Computer Science BRICS RS-00-3 Larsson et al.: On Memory-Block Traversal Problems in Model Checking Timed Systems

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2000-02-16 08:22:13
    362

    Branching-Time Model Checking of One-Counter Processes and Timed Automata ⋆ Stefan G¨oller1 and Markus Lohrey2,⋆⋆ 1 Universit¨at Bremen, Fachbereich Mathematik und Informatik, Germany

    Add to Reading List

    Source URL: www.informatik.uni-bremen.de

    Language: English - Date: 2013-06-18 14:25:02
      363

      Symbolic Systems, Explicit Properties: on Hybrid Approaches for LTL Symbolic Model Checking Roberto Sebastiani1 , Stefano Tonetta2⋆ , and Moshe Y. Vardi3 1

      Add to Reading List

      Source URL: www.cs.rice.edu

      Language: English - Date: 2010-08-02 18:12:22
        364

        The Bedwyr system for model checking over syntactic expressions David Baelde1 , Andrew Gacek2 , Dale Miller1 , Gopalan Nadathur2 , and Alwen Tiu3 ´ INRIA & LIX, Ecole

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        Language: English - Date: 2007-05-11 03:02:25
          365

          Model Checking on Trees with Path Equivalences⋆ ˇ Rajeev Alur, Pavol Cern´ y, and Swarat Chaudhuri University of Pennsylvania

          Add to Reading List

          Source URL: www.cis.upenn.edu

          Language: English - Date: 2012-08-06 16:40:04
            366

            Universita degli Studi di Roma \La Sapienza" Dottorato di Ricerca in Ingegneria Informatica XII Ciclo { 1999 Advances in Planning as Model Checking

            Add to Reading List

            Source URL: www.cs.rice.edu

            Language: English - Date: 2012-06-27 16:56:25
              367

              SOFTWARE MODEL CHECKING FOR CONFIDENTIALITY ˇ y Pavol Cern´ A DISSERTATION in

              Add to Reading List

              Source URL: www.cis.upenn.edu

              Language: English - Date: 2009-07-28 16:31:05
                368

                Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking Kristin Y. Rozier and Moshe Y. Vardi ⋆ Rice University, Houston, Texas 77005, {kyrozier, vardi}@cs.rice.edu Abstract. The transl

                Add to Reading List

                Source URL: www.cs.rice.edu

                Language: English - Date: 2012-11-26 20:31:33
                  369

                  Model Checking of Linearizability of Concurrent List Implementations? ˇ Pavol Cern´ y1 , Arjun Radhakrishna1 , Damien Zufferey1 , Swarat Chaudhuri2 , and Rajeev Alur3

                  Add to Reading List

                  Source URL: www.cis.upenn.edu

                  Language: English - Date: 2010-04-19 09:32:20
                    370

                    Principles: Model Checking

                    Add to Reading List

                    Source URL: www.stats.ox.ac.uk

                    Language: English - Date: 2013-11-04 10:48:07
                      UPDATE